failure 162:
Requirement failed: {mvcur.04} If (newrow, newcol) is not a valid address for the terminal in use, mvcur() fails
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-18_15-48-05/ncurses_move_scenario.utz (ncurses_move_scenario.utt), line 201 |
| occurence |
| scenario |
ncurses_move_scenario |
| specification function |
mvcur_spec() |
| parameter value |
CallContext context = [pid=3525,thr=b73ac6c0] |
| parameter value |
NCursesPosition * @cursorPosOld = { x=10000000, y=10000000 } |
| parameter value |
NCursesPosition * cursorPosOld = { x=10000000, y=10000000 } |
| parameter value |
NCursesPosition * @cursorPosNew = { x=-1000000, y=-1000000 } |
| parameter value |
NCursesPosition * cursorPosNew = { x=-1000000, y=-1000000 } |
| return value |
(IntT) 0 |
coverage
& branch |
pseudo_coverage
The only branch |
| properties |
| REQ failed |
mvcur.04 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
According to LSB, if screen position (newrow, newcol) is not a valid address for
the terminal in use, mvcur(int xpos, int ypos) function call to this cursor position should fail
(mvcur() is the function from Ncurses library that moves the cursor), but error doesn't occur on
inputs (-1000000, -1000000), (10000000, 10000000).
Additional information about this bug may be found at http://linuxtesting.org/results/report?num=S0313.
|
|